Fundraising September 15, 2024 – October 1, 2024 About fundraising
20

Program verification using symbolic game semantics

Year:
2014
Language:
english
File:
PDF, 926 KB
english, 2014
23

Professor Georgi D. Efremov (1932–2011)

Year:
2011
Language:
english
File:
PDF, 60 KB
english, 2011
41

Verifying annotated program families using symbolic game semantics

Year:
2017
Language:
english
File:
PDF, 1.40 MB
english, 2017
42

Variability abstractions for lifted analyses

Year:
2018
Language:
english
File:
PDF, 681 KB
english, 2018